DLs for DLs : Description Logics for Digital

DLs for DLs: Description Logics for Digital Libraries

Towards More Useful Description Logics of Time, Change and Context

Description Logics (DLs) are a family of logic-based formalisms for the representation of and reasoning about knowledge. Classical DLs are fragments of first-order logic and therefore aim at capturing static knowledge. Alas, the lack of means of DLs to capture dynamic aspects of knowledge has been often criticized because many important DL applications depend on this kind of knowledge. As a rea...

Transforming Fuzzy Description Logics into Classical Description Logics

In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy DLs into classical DLs. This has the conside...

E-connections of Description Logics

1 Motivation Combining description logics (DLs) with other logical formalisms, including other DLs, is an important and challenging task. Recent examples include: 1. the combination of DLs with temporal logics to form multi-dimensional temporal DLs, cf. e.g. [1, 6, 10]; 2. the fusion of multiple DLs into a single formalism that inherits decidability from its components, cf. [2]; 3. the combinat...

Bayesian Description Logics

We present Bayesian Description Logics (BDLs): an extension of Description Logics (DLs) with contextual probabilities encoded in a Bayesian network (BN). Classical DL reasoning tasks are extended to consider also the contextual and probabilistic information in BDLs. A complexity analysis of these problems shows that, for propositionally closed DLs, this extension comes without cost, while for t...